| Model: | polling v.1 (CTMC) |
| Parameter(s) | N = 18, T = 16 |
| Property: | s1_before_s2 (prob-reach) |
./pet.sh reachability --precision 0.001 --relative-error --only-result -m polling.18.prism -p polling.props --property s1_before_s2 --const T=16
| Walltime: | 600.1220741271973s |
| Return code: | 130 |